Concurrent Programming in ML focuses on the practical use of concurrency to implement naturally concurrent applications. In addition to a tutorial introduction to programming in Concurrent ML (CML), the book presents three extended examples using CML for practical systems programming: a parallel software build system, a simple concurrent window manager, and an implementation of...(展开全部)

Aleksandar Prokopec 是一位软件开发者，同时也是并发和分布式编程技术研究者。他拥有克罗地亚萨格勒布大学电子工程和计算学院的计算机专业硕士学位和瑞士洛桑联邦理工大学（EPFL）的计算机科学专业博士学位。作为 EPFL 博士助教和 Scala 语言开发团队成员，他积极为 Scala 编程语言做贡献，研究并发编程抽象、并行数据编程支持和 Scala并发数据结构。他编写了 Scala Parallel Collections 框架，这是一个高级的 Scala 并行数据编程库。他还参加了多个 Scala 并发库开发小组，开发了 Future、Promise 和 ScalaSTM 等抽象。

This book is a must-have tutorial for software developers aiming to write concurrent programs in Scala, or broaden their existing knowledge of concurrency.This book is intended for Scala programmers that have no prior knowledge about concurrent programming, as well as those seeking to broaden their existing knowledge about concurrency. Basic knowledge of the Scala programming language will be helpful. Readers with a solid knowledge in another programming language, such as Java, should find this book easily accessible.

Aleksandar Prokopec 是一位软件开发者，同时也是并发和分布式编程技术研究者。他拥有克罗地亚萨格勒布大学电子工程和计算学院的计算机专业硕士学位和瑞士洛桑联邦理工大学（EPFL）的计算机科学专业博士学位。作为 EPFL 博士助教和 Scala 语言开发团队成员，他积极为 Scala 编程语言做贡献，研究并发编程抽象、并行数据编程支持和 Scala并发数据结构。他编写了 Scala Parallel Collections 框架，这是一个高级的 Scala 并行数据编程库。他还参加了多个 Scala 并发库开发小组，开发了 Future、Promise 和 ScalaSTM 等抽象。

http://www.faculty.idc.ac.il/gadi/book.htm Table of Contents Preface Key Features 1. Introduction 2. Mutual exclusion using atomic registers: basic topics 3. Mutual exclusion using atomic registers: advanced topics 4. Blocking and non-blocking synchronization 5. Barrier synchronization 6. The l-exclusion problem 7. Multiple resources 8. Classical synchronization problems 9. Con...(展开全部)

http://www.faculty.idc.ac.il/gadi/book.htm Table of Contents Preface Key Features 1. Introduction 2. Mutual exclusion using atomic registers: basic topics 3. Mutual exclusion using atomic registers: advanced topics 4. Blocking and non-blocking synchronization 5. Barrier synchronization 6. The l-exclusion problem 7. Multiple resources 8. Classical synchronization problems 9. Con...(展开全部)

This book covers the breadth of Haskell's diverse selection of programming APIs for concurrent and parallel programming. It is split into two parts. The first part, on parallel programming, covers the techniques for using multiple processors to speed up CPU-intensive computations, including methods for using parallelism in both idiomatic Haskell and numerical array-based algori...(展开全部)

This book covers the breadth of Haskell's diverse selection of programming APIs for concurrent and parallel programming. It is split into two parts. The first part, on parallel programming, covers the techniques for using multiple processors to speed up CPU-intensive computations, including methods for using parallelism in both idiomatic Haskell and numerical array-based algori...(展开全部)

As a developer, you’ve probably heard that functional programming techniques help manage the complexities of today’s real-world, concurrent systems. You’re also investigating designs that help you maximize uptime and manage security. This book is your guide to Elixir, a modern, functional, and concurrent programming language. Because Elixir runs on the Erlang VM, and uses the u...(展开全部)

The book focuses on algorithmic principles rather than language syntax with an emphasis on the use of the Spin model checker for modeling concurrent systems and verifying program correctness and includes and explains the implementation of concurrency in the Java and Ada languages. It also helps to facilitate lab work with software tools for learning concurrent and distributed p...(展开全部)